Making ProB Compatible with SWI-Prolog.

David Geleßus Michael Leuschel

Published in: Theory Pract. Log. Program. (2022)

Keyphrases

programming language
database
knowledge base
logic programming
expert systems
data sets
web services
image segmentation
training data
pattern recognition
domain knowledge
knowledge representation
theorem proving
backward chaining