Mark Thom 96a9dfcc1b Merge pull request #3185 from mthom/install_verify_attr_opt ...

Optimize `verify_attr` by removing the need to scan instructions

2025-12-03 19:10:46 -07:00

..

http

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

numerics

Address several comments by @triska

2025-08-10 11:45:21 -04:00

serialization

use new heap term representation

2022-01-06 21:44:38 -07:00

tabling

remove tabling attributes in each module's attribute_goals//1 (#1825)

2023-06-27 10:31:10 -06:00

arithmetic.pl

Compatible Doclog docs for library(arithmetic) and small fixes on INDEX.md

2023-01-25 19:48:01 +01:00

assoc.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

atts.pl

corrections to arithmetic expression compilation

2025-11-27 21:03:56 -08:00

between.pl

Compatible Doclog docs for library(between).

2023-01-22 20:26:30 +01:00

builtins.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

charsio.pl

generalize read_from_chars/2 and read_term_from_chars/3 to allow instantiated Term

2025-04-10 08:18:23 +02:00

clpb.pl

Revert "FIXED: CLP(B): Delay BDD restriction until after the instantiation."

2025-01-02 18:02:38 +01:00

clpz.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

cont.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

crypto.pl

atom --> string

2025-01-02 18:30:29 +01:00

csv.pl

Add all_mdoules test and fix library(csv)

2024-02-04 21:34:01 +01:00

dcgs.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

debug.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

diag.pl

add and document inlined_instructions/2 to/in diag.pl (#1791)

2023-04-22 18:38:49 -06:00

dif.pl

fix dif:vars_remove_goal/2 (#2175), untabify forms.rs to appease format check

2023-11-20 14:21:18 -07:00

error.pl

ADDED: resource_error/1

2025-08-09 10:22:28 +02:00

ffi.pl

update documentation

2025-09-28 19:50:21 +02:00

files.pl

state when the predicates are true

2025-01-02 18:54:27 +01:00

format.pl

move ~w to least prominent position, point to more suitable specifiers

2025-04-05 10:01:22 +02:00

freeze.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

gensym.pl

FIXED: correctly reset counter in reset_gensym/2 (#1807)

2023-06-23 14:11:31 -06:00

iso_ext.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

lambda.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

lists.pl

ADDED: foldl/6, addressing #2973

2025-11-23 11:13:57 +01:00

ops_and_meta_predicates.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

ordsets.pl

Migrate from Markdown to Djot

2023-01-19 21:15:25 +01:00

os.pl

Merge pull request #2264 from Skgland/fix-os-argv-1

2024-01-06 15:52:53 -07:00

pairs.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

pio.pl

ENHANCED: dedicated faster branches for repositionable streams

2025-07-07 22:38:12 -07:00

process.pl

use call_with_error_context

2025-08-01 20:49:43 +02:00

queues.pl

remove vestigial prolog/ directory (#444)

2020-06-12 18:26:38 -06:00

random.pl

Add '$random_integer'/3

2024-12-08 20:00:00 +01:00

reif.pl

DOC: add link to "Indexing dif/2" in DocLog format

2023-01-25 23:40:55 +01:00

sgml.pl

fix crash when loading html

2025-07-07 22:39:47 -07:00

si.pl

Revert "remove Term"

2025-07-07 22:38:10 -07:00

simplex.pl

DOC: convert library(simplex) documentation to DocLog format

2023-01-26 00:46:06 +01:00

sockets.pl

Migrate from Markdown to Djot

2023-01-19 21:15:25 +01:00

tabling.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

terms.pl

inline metacalls

2022-10-26 23:36:07 -06:00

time.pl

ISO: remove nonstandard operator meta_predicate.

2025-08-02 10:22:50 +02:00

tls.pl

ADDED: library(tls), providing all predicates for TLS connections.

2021-12-05 18:16:47 +01:00

ugraphs.pl

Migrate from Markdown to Djot

2023-01-19 21:15:25 +01:00

uuid.pl

Migrate from Markdown to Djot

2023-01-19 21:15:25 +01:00

wasm.pl

Add js_eval/2 for wasm32

2023-11-22 21:21:19 +01:00

when.pl

Document when/2 Condition

2025-05-18 16:46:28 -05:00

xpath.pl

replace adjacent whitespace characters with a single SPACE character

2023-08-27 13:01:13 +02:00