From a9fa07637dbd67694fbac7296a0649475a60f7d1 Mon Sep 17 00:00:00 2001 From: Yutaka Ichibangase Date: Sat, 29 Jan 2022 12:01:08 +0900 Subject: [PATCH] `false/0` is ISO --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 7f8a50dc..3828884e 100644 --- a/README.md +++ b/README.md @@ -106,7 +106,7 @@ for sols.Next() { |----------------------|--------------------------------------------------|:----:|-----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|------------------------------------------------------------------------------------------| | Control Constructs | `true` | * | Always succeeds. | Prolog | | | `fail` | * | Always fails. | Prolog | -| | `false` | | Synonym for `fail`. | Prolog | +| | `false` | * | Synonym for `fail`. | Prolog | | | `call(Goal)` | * | Calls `Goal`. | [Go](https://pkg.go.dev/github.com/ichiban/prolog/engine#State.Call) | | | `!` | * | Cut. | Prolog | | | `P, Q` | * | Conjunction. | Prolog |