Welcome to SWI-Prolog (threaded, 64 bits, version 8.3.4-11-g1db629e24) On Windows 10 ?- functor(a(),N,A). ERROR: Domain error: `compound_non_zero_arity' expected, found `a()' ERROR: In: ERROR: [10] functor(a(),_18014,_18016) ERROR: [9] <user> ?- The example in the documentation shows it wor…

Functor/3 not working for a()

dtonhofer July 23, 2020, 7:23pm 4

The power of overview:

PDF and ODS (LibreOffice Calc) are here for great usage!

5 Likes

Foo vs foo()

Topic		Replies	Views
Print_term doesn't like compound with zero arity General bug	1	560	March 24, 2019
On type error of `arg(1, a, _)` General atom , arity	2	344	November 6, 2022
How does prolog tell the difference between atoms and zero arity predicates? General	4	82	April 2, 2025
Help with functor Help!	3	251	June 8, 2020
Foo vs foo() Help!	5	979	February 3, 2022