Markus Triska 8f39bee463 ISO: Implement the include/1 directive ...

Quoting from the standard:

    7.4.2.7 include/1

    If F is an implementation defined ground term designating
    a Prolog text unit, then Prolog text P1 which contains
    a directive include(F) is identical to a Prolog text P2
    obtained by replacing the directive include(F) in P1 by
    the Prolog text denoted by F.

Example:

    :- include("hello.pl").

This addresses #583 and #634.

2026-02-28 14:49:13 +01:00

..

bin

Rework Wasm interface

2025-02-20 01:04:38 -03:00

examples

use more recently available phrase_[to|from]_file/3 in example

2025-11-23 09:42:14 +01:00

lib

remove unnecessary extra work in findall_with_existential/5

2026-01-14 20:39:48 -08:00

machine

cargo fmt fixes

2026-01-14 20:39:48 -08:00

parser

fix spelling

2026-01-10 18:13:59 +01:00

tests

assert rational(3) as true in tests/builtins.pl

2026-01-14 20:34:06 -08:00

allocator.rs

Revert "remove Term"

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

arena.rs

fix spelling

2026-01-10 18:13:59 +01:00

arithmetic.rs

remove interms field from MachineState

2025-11-24 22:19:36 -08:00

atom_table.rs

fix spelling

2026-01-10 18:13:59 +01:00

codegen.rs

use branch numbers to detect branch subsumption

2026-01-14 20:34:06 -08:00

debray_allocator.rs

cargo fmt fixes

2026-01-14 20:39:48 -08:00

ffi.rs

run rustfmt to fix formatting

2026-01-10 18:31:40 +01:00

forms.rs

cargo fmt fixes

2026-01-14 20:39:48 -08:00

functor_macro.rs

handle machine heap/stack allocation error

2025-11-19 22:17:24 +01:00

heap_iter.rs

add variant_hash and is_non_variant to fix setof/3, bagof/3

2026-01-14 20:39:48 -08:00

heap_print.rs

push cyclic pstr's tail to iterator stack of printer (#3086)

2025-09-17 20:21:54 -07:00

http.rs

run rustfmt

2024-07-23 00:01:58 +02:00

indexing.rs

remove some uncessary allocations/copies

2025-11-19 19:23:41 +01:00

instructions.rs

replace compare_term_test with parallel iterator, add is_not_variant

2026-01-14 20:39:45 -08:00

iterators.rs

use branch numbers to detect branch subsumption

2026-01-14 20:34:06 -08:00

lib.rs

extaract the static part of the instructions template directly into the instructions module

2026-01-10 17:48:07 +01:00

loader.pl

Merge pull request #2746 from triska/quads

2025-08-10 01:36:15 -07:00

macros.rs

replace compare_term_test with parallel iterator, add is_not_variant

2026-01-14 20:39:45 -08:00

offset_table.rs

fix clippy lints

2026-01-10 17:52:34 +01:00

raw_block.rs

handle machine heap/stack allocation error

2025-11-19 22:17:24 +01:00

read.rs

wrap resource_error into an error/2 functor and don't wrap it into a syntax_error functor

2025-11-20 01:22:18 +01:00

repl_helper.rs

fix spelling

2026-01-10 18:13:59 +01:00

targets.rs

Revert "remove Term"

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

toplevel.pl

ISO: Implement the include/1 directive

2026-02-28 14:49:13 +01:00

types.rs

fix spelling

2026-01-10 18:13:59 +01:00

variable_records.rs

use branch numbers to detect branch subsumption

2026-01-14 20:34:06 -08:00

wasm.rs

Made WasmQueryState an iterable.

2025-04-10 19:02:04 +02:00