search

Lexpedite / blawx

A user-friendly web-based tool for Rules as Code.
MIT License
104 stars 9 forks source link

Implement conjunctions in questions #461

Closed Gauntlet173 closed 1 year ago

Gauntlet173 commented 1 year ago

s(CASP) can handle conjunctive queries, we just need to wrap the query in an and() inside the reasoner. So having multiple statements in a question should work as expected.

Gauntlet173 commented 1 year ago

This syntax works in swish:

scasp((friend(a1,X),friend(a2,X)),[]).

Gauntlet173 commented 1 year ago

Fixed in 1.5.3