Making ProB compatible with SWI-Prolog.

David Geleßus Michael Leuschel

Published in: CoRR (2022)

Keyphrases

logic programming
knowledge base
programming language
image segmentation
constraint logic programming
artificial intelligence
similarity measure
expert systems
high dimensional
search space
evolutionary algorithm
abstract machine