A modelling tool based on mathematical logic T-PROLOG.

Ivan Futó János Szeredi K. Szenes

Published in: Acta Cybern. (1981)

Keyphrases

logic programming
multi valued
data sets
data mining
knowledge base
classical logic
software tools
predicate logic
real time
nonmonotonic logics
computational properties
logic programs
programming language
knowledge representation
expert systems
multi agent
database systems
neural network