Markus Triska
|
a8da2b6a99
|
ISO: remove nonstandard operator meta_predicate.
Use functional notation instead for declarations.
This addresses #2822.
|
2025-08-02 10:22:50 +02:00 |
|
Markus Triska
|
7ca782b92d
|
DOC: convert code samples in library(lambda) to DocLog format
|
2023-01-26 00:40:08 +01:00 |
|
Markus Triska
|
e0c98a5c79
|
adapt libraries and toplevel output to Scryer Prolog
|
2021-02-25 22:08:25 +01:00 |
|
Markus Triska
|
dfb60ec2ed
|
use individual meta_predicate/1 declarations
|
2021-02-25 22:08:25 +01:00 |
|
Markus Triska
|
b85e260b92
|
ADDED: library(lambda) by Ulrich Neumerkel.
Source: http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/lambda.pl
More information:
http://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/ISO-Hiord
|
2021-02-25 22:08:00 +01:00 |
|