Merge pull request #537 from triska/master

import member/2 from library(lists)
This commit is contained in:
Mark Thom
2020-05-19 15:16:38 -03:00
committed by GitHub

View File

@@ -3,6 +3,7 @@
:- use_module(library(dcgs)).
:- use_module(library(error)).
:- use_module(library(lists), [member/2]).
phrase_from_file(NT, File) :-
phrase_from_file(NT, File, []).