Yutaka Ichibangase

Thank you for your question! I, as a person, have nothing to do with ISO. I intend to make the library `github.com/ichiban/prolog` to cover General Core of ISO Prolog by...

I appreciate your guidance. I'll implement other predicates in the list you provided.

@riccardopinosio Hi, I think the first problem boils down to `nth(0, [1.0, 2.0], W).` There're 2 problems: ## `nth/3` is not released yet I've added `nth/3` to the main branch...

On the 2nd thing, as far as I know, there's no standard predicate to do the sum of elements. So I think it's better off not supporting it out of...

Regarding the 3rd point, yes, you can return lists into Go! Here's how you do it: https://go.dev/play/p/ZLT0n98z8JG ```go package main import ( "fmt" "github.com/ichiban/prolog" ) func main() { p :=...

@riccardopinosio I think this should be also a testable example so that we can know when we break it accidentally.

The example above https://github.com/ichiban/prolog/issues/160#issuecomment-1067757579 is in the package documentation now https://pkg.go.dev/github.com/ichiban/prolog#example-Solutions.Scan-List

@UWN I don't think it makes a lot of sense, but p.p.6.3.f forces it to do so. Implementing a predicate is much like guessing the hidden procedural definition of the...

@riccardopinosio Hi! You can actually skip `p.Exec()` like this: ```go package main import ( "context" "fmt" "github.com/ichiban/prolog" "github.com/ichiban/prolog/engine" ) func main() { p := prolog.New(nil, nil) t := &engine.Compound{Functor: "foo",...

@riccardopinosio Yes! ISO compliant ~~`retract/1`~~ will be in the next release! *I mean `retractall/1`.