Prolog

Prolog is a programming language based around logical assertions. The name is a shortened form of "PROgramming in LOGic".

Common Lisp implementations:


This page is linked from: AI   cl-unification  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively