Skip to content

Add term_variables/2, numbervars/3, and =@=/2 to the JS WAM - #4197

Open
s243a wants to merge 2 commits into
grok/wamjs-fact-sourcesfrom
grok/wamjs-term-meta
Open

Add term_variables/2, numbervars/3, and =@=/2 to the JS WAM#4197
s243a wants to merge 2 commits into
grok/wamjs-fact-sourcesfrom
grok/wamjs-term-meta

Introduce =@= variables before negation in the term-meta probe

91a77d6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar