Trying to find a solution to a predicate conception

Also look at Useful Prolog References

1 Like