tabled-prolog-book
tabled-prolog-book copied to clipboard
Fix syntax in FOL grammar
trafficstars
I think this is required, else 'term_tail' can only be commas?