Skip to content

tegui/PrologAndMaude

Repository files navigation

PrologAndMaude

Prolog and Maude sesions

For academical use.

Signature: "logical and functional programming" National University of Colombia, Medellin.

About

Logical and functional programation sesions

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published