quintus/basics.pl0000644000076600007660000000067110350657474016014 0ustar dauclairdauclair00000000000000% module: basics % date: December 6, 2005 % author: Douglas M. Auclair (DMA) % Copyright (c) 2005, Cotillion Group, Inc. All rights reserved. % synopsis: Facilitates porting applications between Quintus and SWI by % providing skeletal implementations of these quintus modules % to SWI. This module is supposed to export member/2, but % SWI already has that in module(user). :- module(basics, []). quintus/date.pl0000644000076600007660000000162410350657766015470 0ustar dauclairdauclair00000000000000% module: date.pl % date: November 20, 2005 % author: Douglas M. Auclair (DMA) % Copyright (c) 2005, Cotillion Group, Inc. All rights reserved. % synopsis: compatibility module for imports using SWI-prolog for % Quintus development :- module(date, [time_stamp/2]). time_stamp(_FormatAtom, DateAtom) :- % As we are working for the unit_test_case_generator module, % we already know what the _FormatAtom is, so, in effect, % we don't care what it is ... date(date(Yr, Mos, Dy)), month(Mos, Month), concat_atom([Month, ' ', Dy, ', ', Yr], DateAtom). % it appears that SWI-prolog doesn't have a month conversion utility % what a pity. month(1, 'January'). month(2, 'February'). month(3, 'March'). month(4, 'April'). month(5, 'May'). month(6, 'June'). month(7, 'July'). month(8, 'August'). month(9, 'September'). month(10, 'October'). month(11, 'November'). month(12, 'December'). quintus/math.pl0000644000076600007660000000071210350662602015462 0ustar dauclairdauclair00000000000000% module: math % date: December 8, 2005 % author: Douglas M. Auclair (DMA) % Copyright (c) 2005, Cotillion Group, Inc. All rights reserved. % synopsis: Facilitates porting applications between Quintus and SWI by % providing skeletal implementations of these Quintus modules % to SWI. This module is supposed to export floor/2, etc, but % SWI already has that at the top level in module(user). :- module(math, []). quintus/print_chars.pl0000644000076600007660000000301710350666772017062 0ustar dauclairdauclair00000000000000% module: print_chars % date: November 21, 2005 % author: Douglas M. Auclair % Copyright (c) 2005, Cotillion Group, Inc. All rights reserved. % synopsis: Facilitates porting applications between Quintus and SWI by % providing skeletal implementations of these Quintus modules % to SWI. :- module(print_chars, []). % modified: December 8, 2005, DMA % changed: Passed in the max number of characters we wish to see % modified: December 6, 2005, DMA % changed: Added assertation to print the list as a string, given that % every member is a character (an integer) and that every % character is printable. :- asserta((user:portray(Chars) :- improper_string(60, Chars, Last, [Char|S], []), (\+ (\+ Last = '_|_') -> format('["~s"|~p]', [[Char|S], Last]) ; (\+ (\+ Last = []) -> format('"~s"', [[Char|S]]) ; format('["~s"|~p]', [[Char|S], Last]))))). :- asserta((user:portray(L1-L2) :- print_chars:difference_string(60, L1-L2, String, []), format('["~s"|_L]-_L', [String]))). difference_string(X, [Char|L1] - L2) --> { X > 0, Y is X - 1, integer(Char), Char > 9, Char < 128 }, [Char], difference_string(Y, L1 - L2). difference_string(0, _) --> !, "...". difference_string(_, L1 - L1) --> []. improper_string(X, [Char|T], Last) --> { X > 0, Y is X - 1, integer(Char), Char > 9, Char < 128 }, !, [Char], improper_string(Y, T, Last). improper_string(0, _Last, "...") --> !. improper_string(_, Last, Last) --> []. quintus/strings.pl0000644000076600007660000000042010350667240016221 0ustar dauclairdauclair00000000000000% module: strings.pl % date: November 19, 2005 % author: Douglas M. Auclair (DMA) % Copyright (c) 2005, Cotillion Group, Inc. All rights reserved. % synopsis: compatibility module for imports using SWI-prolog for % Quintus development :- module(strings, []).