-
Notifications
You must be signed in to change notification settings - Fork 7
assert_file_to_tartarus
Tushar Semwal edited this page Oct 15, 2017
·
1 revision
assert_file_to_tartarus(File_name.pl). % Asserts a file with the name File_name.pl on the Tartarus platform.
File_name: <atom + >
This predicate is used for asserting the handler codes of the concerned agents by specifying the name of the file viz. File_name ( variable) which contains the agent code. The handler predicates listed in the file - File_name are asserted as generic predicates. When the agents are created (see agent_create) these generic predicates are converted into agent-specific predicates.
?- assert_file_to_tartarus(‘handler_file.pl’).