Belief revision in Prolog

If you try s(CASP) be careful to note the need for ? at the start of a query, which is not the same as the Prolog top level prompt, ?-. Forgetting to add that has bit many of us and caused much frustration.

Since I saw you had a GitHub repository regarding PubMed you might find this of value.

s(CASP) biological example

1 Like