MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.

Vincent Poirriez

Published in: Theor. Comput. Sci. (1994)

Keyphrases

strongly typed
programming language
functional language
functional programming
object oriented
general purpose
high level
software engineering
logic programming
object oriented programming
machine learning
inference rules