Changeset 4543 for trunk/configs
- Timestamp:
- 10/28/08 15:58:54 (2 months ago)
- Location:
- trunk/configs
- Files:
-
- 8 modified
-
b.config (modified) (2 diffs)
-
ciao_aux.config (modified) (2 diffs)
-
cx.config (modified) (2 diffs)
-
k6.config (modified) (2 diffs)
-
qu.config (modified) (2 diffs)
-
sicstus3.config (modified) (2 diffs)
-
sicstus4.config (modified) (2 diffs)
-
xsb.config (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/b.config
r4524 r4543 12 12 % configuration file for B-Prolog 7.1 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 405 405 406 406 '$lgt_read_single_char'(Char) :- 407 get_char(Char), 408 ( peek_code(10) -> % hack to workaround the lack of built-in 407 get_code(Code), char_code(Char, Code), 408 ( Code =:= 10 -> 409 true 410 ; peek_code(10) -> % hack to workaround the lack of built-in 409 411 get_code(_) % support for unbuffered character input 410 412 ; true -
trunk/configs/ciao_aux.config
r4535 r4543 12 12 % configuration file for CIAO Prolog 1.8p2 and later versions 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 485 485 486 486 '$lgt_read_single_char'(Char) :- 487 get_char(Char), 488 ( peek_code(10) -> % hack to workaround the lack of built-in 487 get_code(Code), char_code(Char, Code), 488 ( Code =:= 10 -> 489 true 490 ; peek_code(10) -> % hack to workaround the lack of built-in 489 491 get_code(_) % support for unbuffered character input 490 492 ; true -
trunk/configs/cx.config
r4524 r4543 12 12 % configuration file for CxProlog 0.97.2 or a later version 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 428 428 429 429 '$lgt_read_single_char'(Char) :- 430 get(Code), 431 atom_codes(Char, [Code]), 432 ( peek_code(10) -> % hack to workaround the lack of built-in 433 get_code(_) % support for unbuffered character input 434 ; true 430 get_single_char(Code), put_code(Code), char_code(Char, Code), 431 ( Code =:= 10 -> 432 true 433 ; nl 435 434 ). 436 435 -
trunk/configs/k6.config
r4524 r4543 12 12 % configuration file for K-Prolog 6.0.4 and later versions 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 408 408 409 409 '$lgt_read_single_char'(Char) :- 410 get(Code), char_code(Char, Code). 410 get_code(Code), char_code(Char, Code), 411 ( Code =:= 10 -> 412 true 413 ; peek_code(10) -> % hack to workaround the lack of built-in 414 get_code(_) % support for unbuffered character input 415 ; true 416 ). 411 417 412 418 -
trunk/configs/qu.config
r4524 r4543 12 12 % configuration file for Qu-Prolog 8.1 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 409 409 410 410 '$lgt_read_single_char'(Char) :- 411 flush_output, get_char(Char), skip(10). 411 flush_output, get_code(Code), char_code(Char, Code), 412 ( Code =:= 10 -> 413 true 414 ; skip(10) 415 ). 412 416 413 417 -
trunk/configs/sicstus3.config
r4524 r4543 12 12 % configuration file for SICStus Prolog 3.8 and later versions 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 417 417 418 418 '$lgt_read_single_char'(Char) :- 419 get_char(Char), 420 ( peek_code(10) -> % hack to workaround the lack of built-in 419 get_code(Code), char_code(Char, Code), 420 ( Code =:= 10 -> 421 true 422 ; peek_code(10) -> % hack to workaround the lack of built-in 421 423 get_code(_) % support for unbuffered character input 422 424 ; true -
trunk/configs/sicstus4.config
r4524 r4543 12 12 % configuration file for SICStus Prolog 4.0 and later versions 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 407 407 408 408 '$lgt_read_single_char'(Char) :- 409 get_char(Char), 410 ( peek_code(10) -> % hack to workaround the lack of built-in 409 get_code(Code), char_code(Char, Code), 410 ( Code =:= 10 -> 411 true 412 ; peek_code(10) -> % hack to workaround the lack of built-in 411 413 get_code(_) % support for unbuffered character input 412 414 ; true -
trunk/configs/xsb.config
r4524 r4543 12 12 % configuration file for XSB 3.1 or later version 13 13 % 14 % last updated: October 2 0, 200814 % last updated: October 28, 2008 15 15 % 16 16 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% … … 423 423 424 424 '$lgt_read_single_char'(Char) :- 425 get_char(Char), 426 ( peek_code(10) -> % hack to workaround the lack of built-in 425 get_code(Code), char_code(Char, Code), 426 ( Code =:= 10 -> 427 true 428 ; peek_code(10) -> % hack to workaround the lack of built-in 427 429 get_code(_) % support for unbuffered character input 428 430 ; true
