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

Vincent Poirriez

Published in: FGCS (1992)

Keyphrases

strongly typed
programming language
functional language
functional programming
general purpose
object oriented
high level
software engineering
logic programming
database
bayesian networks