mthom scryer-prolog Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Community guidelines

Q&A Discussions

Ask the community for help

You must be logged in to vote

Compilation warnings, is it ok?

haijinSk asked May 27, 2024 in Q&A · Closed · Answered

3
You must be logged in to vote

Error when using doclog

razetime asked May 24, 2024 in Q&A · Answered

2
You must be logged in to vote

assert/retract & dynamic predicates

JoelHobson asked May 22, 2024 in Q&A · Answered

2
You must be logged in to vote

is there a "standard" documentation for (ISO) Prolog ?

younes-io asked May 12, 2024 in Q&A · Answered

4
You must be logged in to vote

Using as library in microservice

flashpixx asked Apr 22, 2024 in Q&A · Unanswered

2
You must be logged in to vote

Is anybody out there doing category theory with Prolog?

dcnorris asked Apr 17, 2024 in Q&A · Unanswered

5
You must be logged in to vote

Trouble using lambdas in maplist/3

dcnorris asked Apr 17, 2024 in Q&A · Closed · Unanswered

0
You must be logged in to vote

Defining eos//0 portably.

bakaq asked Apr 4, 2024 in Q&A · Answered

7
You must be logged in to vote

Residual goals for CHR

bakaq asked Dec 11, 2023 in Q&A · Answered

12
You must be logged in to vote

How difficult is it to embed Scryer inside another Rust program?

FreeFull asked Feb 16, 2024 in Q&A · Answered

4
You must be logged in to vote

How to contribute a benchmark?

dcnorris asked Feb 16, 2024 in Q&A · Unanswered

0
You must be logged in to vote

Alternatives to Github for contributing to Scryer Prolog development?

triska asked Feb 3, 2024 in Q&A · Unanswered

9
You must be logged in to vote

how to prevent http_open/3 from blocking indefinitely

razetime asked Dec 6, 2023 in Q&A · Unanswered

2
You must be logged in to vote

command-line arguments

mvolkmann asked Jul 24, 2023 in Q&A · Answered

24
You must be logged in to vote

Poor performance results in a seamingly simple algorithm (Advent of Code 2023, Day 16). Help please! 🙏

jasagredo asked Dec 18, 2023 in Q&A · Answered

6
You must be logged in to vote

How to expand terms and goals in a file for testing term_expansion/2 and goal_expansion/2?

bakaq asked Dec 15, 2023 in Q&A · Unanswered

4
You must be logged in to vote

Monotonicity of var/1 in library(diadem)

bakaq asked Dec 16, 2023 in Q&A · Answered

4
You must be logged in to vote

opening a new server socket

razetime asked Dec 11, 2023 in Q&A · Answered

2
You must be logged in to vote

CLPZ having one variable's domain be the union of two others' domains

Garklein asked Dec 6, 2023 in Q&A · Unanswered

5
You must be logged in to vote

Tuple constructors cannot be used as arguments to lambdas

jasagredo asked Dec 6, 2023 in Q&A · Answered

6
You must be logged in to vote

Semicontext notation doesn't allow pushing back a list. Intentional?

jasagredo asked Dec 6, 2023 in Q&A · Unanswered

4
You must be logged in to vote

Need help splitting out a utility module [AOC day 2 spoilers]

librarianmage asked Dec 2, 2023 in Q&A · Answered

5
You must be logged in to vote

What does syntax_error(incomplete_reduction) mean when appearing from a call of phrase/2?

razetime asked Dec 3, 2023 in Q&A · Answered

2
You must be logged in to vote

Traversing JSON data

razetime asked Nov 30, 2023 in Q&A · Unanswered

4
You must be logged in to vote

How to ignore variables in a Prolog query

razetime asked Dec 1, 2023 in Q&A · Answered

1