diff --git a/document/MANUAL.md b/document/MANUAL.md index 9bf7ea5..64d4e36 100644 --- a/document/MANUAL.md +++ b/document/MANUAL.md @@ -527,7 +527,7 @@ Used on the EXIT port, which causes the debugger to go to the redo port of the c -## DCG:限定節文法 +## DCG The following is an example from Professor Hideyuki Nakashima's "Prolog". A dog bites a postman.