ichiban commented 2 years ago

212

ichiban commented 2 years ago

$ go run cmd/1pl/main.go cmd/1pl/interpreter.go 
Top level for ichiban/prolog 
This is for testing purposes only!
See https://github.com/ichiban/prolog for more details.
Type Ctrl-C or 'halt.' to exit.
?- 改善.
2022/07/23 15:18:08 error(existence_error(procedure,改善/0),root)
?- プロログ.
2022/07/23 15:18:16 error(existence_error(procedure,プロログ/0),root)
?- ぷろろぐ.
2022/07/23 15:18:25 error(existence_error(procedure,ぷろろぐ/0),root)
?- 프롤로그.
2022/07/23 15:18:35 error(existence_error(procedure,프롤로그/0),root)
?- برولوغ.
2022/07/23 15:18:44 error(existence_error(procedure,برولوغ/0),root)
?- פרולוג.
2022/07/23 15:18:54 error(existence_error(procedure,פרולוג/0),root)
?- op(700, xfx, ∈).
true.
?- asserta((E ∈ L :- member(E, L))).
E = _1093,
L = _1094.
?- X ∈ [1, 2, 3].
X = 1;
X = 2;
X = 3;

codecov[bot] commented 2 years ago

Codecov Report

Merging #236 (56a4e16) into main (862b26a) will increase coverage by 0.00%. The diff coverage is 100.00%.

@@           Coverage Diff           @@
##             main     #236   +/-   ##
=======================================
  Coverage   97.46%   97.46%           
=======================================
  Files          21       21           
  Lines        6700     6701    +1     
=======================================
+ Hits         6530     6531    +1     
  Misses        138      138           
  Partials       32       32

Impacted Files	Coverage Δ
engine/lexer.go	`100.00% <100.00%> (ø)`

Continue to review full report at Codecov.

Legend - Click here to learn more Δ = absolute <relative> (impact), ø = not affected, ? = missing data Powered by Codecov. Last update 862b26a...56a4e16. Read the comment docs.

ichiban / prolog

generalize small letter char #236

212

Codecov Report