SWISH: SWI-Prolog for Sharing.

Jan Wielemaker Torbjörn Lager Fabrizio Riguzzi

Published in: CoRR (2015)

Keyphrases

logic programming
expert systems
knowledge representation
information sharing
prolog programs
knowledge sharing
data sharing
inference engine
neural network
genetic algorithm
computer vision
software engineering
logic programs
theorem proving
backward chaining