testAssertAClause
Tests the queries
?- (asserta((bar(X) :- X)), clause(bar(X), B)).Content copied to clipboard
succeeds on a solver initialized with default built-ins and with and empty theory. producing 1 solution which binds variable B to call(X).