Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in iso-prolog

Proper handling of denormal floats in ISO-Prolog

performance floating-point prolog iso-prolog denormal-numbers

Prolog jargon: id(X,X). fact or rule?

prolog terminology iso-prolog

The smallest `max_arity` of compound terms in ISO Prolog programs

prolog portability data-representation iso-prolog

at_end_of_stream on stdin in Prolog

prolog iso-prolog

Behavior of cuts in negation

prolog iso-prolog

What kind of meta argument is the first argument of predicate_property/2?

module prolog iso-prolog meta-predicate

Prolog infix operator definition

prolog iso-prolog infix-operator

Atom escaping rules in Prolog

prolog iso-prolog

Sometimes I don't know what the "/" means in Prolog

prolog iso-prolog

Space-efficient reading of chars in canonical form

prolog iso-prolog

What is the right error for corner cases of datetime conversion?

prolog iso-prolog

Why does prolog use =< and not <=?

prolog iso-prolog

About Prolog syntax

prolog iso-prolog

Why is prolog unification depth-first-search instead of breadth-first-search?

prolog iso-prolog

What are the (perceived) shortcomings of the ISO standard for Prolog modules (ISO/IEC 13211-2)?

module prolog iso-prolog

End_of_stream property after opening empty file

prolog iso-prolog

Why does Prolog operator definitions have xfx?

prolog operators syntactic-sugar iso-prolog

Why doesn't gnu prolog support the "false" predicate? (I've changed to swi)

prolog gnu-prolog iso-prolog

Why did Technical Corrigendum 2 to ISO/IEC 13211-1:1995 omit "bar" from the "token" rule?

prolog iso-prolog

Is there a prolog language grammar/spec?

prolog grammar iso-prolog
Older Entries »