 notoria
|
bd222ed2bf
|
Added a test for mod in CLP(Z)
|
2021-03-10 21:20:18 +01:00 |
|
|
notoria
|
f6d4821a68
|
Small improvement for mod in CLP(Z)
|
2021-03-07 18:38:04 +01:00 |
|
|
notoria
|
e5204e55d3
|
Handled the empty case (#770)
|
2021-01-31 11:03:17 +01:00 |
|
|
notoria
|
dfd7ac633a
|
Removed redundant choicepoint from between/3
|
2021-01-30 17:45:55 +01:00 |
|
|
notoria
|
706d842102
|
Renamed find_optimal_index to first_instantiated_index
|
2020-12-21 20:27:53 +01:00 |
|
|
notoria
|
2889631b61
|
Merge pull request #6 from triska/indexing
document first instantiated argument indexing
|
2020-12-21 20:02:22 +01:00 |
|
|
notoria
|
ecc059bf8b
|
Organized changes into find_optimal_index
|
2020-12-21 12:19:21 +01:00 |
|
|
notoria
|
ec2c5a9b2c
|
Simplified the code, removed first_arg, the Option
|
2020-12-19 21:04:17 +01:00 |
|
|
notoria
|
657e4f12bb
|
Implemented a different way to index clauses
|
2020-12-19 14:52:38 +01:00 |
|
|
notoria
|
0724c044d6
|
Use nonterminal fd_put//3 in mod from clpz
|
2020-08-15 17:56:07 +02:00 |
|
|
notoria
|
bed4afe74f
|
Simplified the code
|
2020-08-15 17:39:34 +02:00 |
|
|
notoria
|
d4263cc8b9
|
Using queue_goal//1 to correctly bind variables
|
2020-08-15 17:06:12 +02:00 |
|
|
notoria
|
b4b11465a1
|
Fixed variable bindings in mod from clpz
|
2020-08-15 13:37:33 +02:00 |
|
|
notoria
|
daaebc59cb
|
Made mod stronger and addressed #675
|
2020-08-15 12:53:28 +02:00 |
|
|
notoria
|
314baabf1d
|
More improvement on mod from CLP(Z)
|
2020-08-13 21:36:36 +02:00 |
|
|
notoria
|
a24fbb8f61
|
Improved mod in CLP(Z)
This is still a work in progress.
|
2020-08-13 10:33:36 +02:00 |
|
|
notoria
|
3143468751
|
Fixed some conversion issues
|
2020-08-06 11:39:55 +02:00 |
|
|
notoria
|
ac00ae4daf
|
Improved readline
|
2020-07-31 21:16:33 +02:00 |
|
|
notoria
|
bf13700a95
|
Enhanced the implementation
The restriction has been removed by using read_library_path from
cfd15f4e02.
|
2020-07-01 13:14:12 +02:00 |
|
|
notoria
|
83268f5ff6
|
Allowing paths in use_module(library(..)) (#604)
In a module, the path is restricted in being an atom.
|
2020-07-01 10:22:17 +02:00 |
|
|
notoria
|
1eb42654e0
|
Revert "allow paths in use_module(library(..)) (#604)"
This reverts commit cfd15f4e02.
|
2020-07-01 10:07:26 +02:00 |
|
|
notoria
|
e05c34d1ee
|
Revert "build.rs recursively delves into directories during library bake stage, correct misnamed file at machine/mod.rs:455 (#617)"
This reverts commit c1b577f2c7.
|
2020-07-01 10:06:20 +02:00 |
|
|
notoria
|
1799c19933
|
Added an entry in README
|
2020-06-19 17:48:55 +02:00 |
|
|
notoria
|
94eddd3b42
|
Added library(debug)
|
2020-06-19 17:18:59 +02:00 |
|
|
notoria
|
3a7a29868f
|
Added some informations in Cargo.toml
|
2020-05-23 02:03:24 +02:00 |
|
|
notoria
|
3e5a652874
|
Enhanced Travis-CI (#512)
|
2020-05-16 11:51:53 -06:00 |
|
|
notoria
|
a86019d53b
|
Enhanced between/3
|
2020-05-13 21:21:46 +02:00 |
|
|
notoria
|
1d313ebf25
|
Removed the warnings
|
2020-05-09 22:30:39 +02:00 |
|
|
notoria
|
cf92349c1d
|
Implemented Debug for the new data structures
|
2020-05-09 22:28:32 +02:00 |
|
|
notoria
|
47f5223c37
|
Enhanced shift/1
|
2020-05-07 19:10:21 +02:00 |
|
|
notoria
|
ac00bc6b70
|
Fixed ctrl-c issue with get_single_char/1
|
2020-05-05 18:47:00 +02:00 |
|
|
notoria
|
75aa4ce8a0
|
Completed read/1, ctrl-d is end_of_file
|
2020-05-03 19:54:17 +02:00 |
|
|
notoria
|
7df7901532
|
Implemented expmod/4
|
2020-05-02 14:56:07 +02:00 |
|
|
notoria
|
9df2df0f9f
|
Enhanced number_to_rational/2 and number_to_rational/3
|
2020-05-02 02:36:23 +02:00 |
|
|
notoria
|
98d38d763b
|
Added $scryer_prolog_version/1
|
2020-05-02 02:19:22 +02:00 |
|
|
notoria
|
319a4622b3
|
Enhanced command line
|
2020-05-02 01:02:06 +02:00 |
|
|
notoria
|
de8a017e80
|
Enhanced command line #2
|
2020-05-01 18:52:41 +02:00 |
|
|
notoria
|
6ae7ae0210
|
Enhanced version
|
2020-05-01 16:46:31 +02:00 |
|
|
notoria
|
b911d2fda4
|
Enhanced command line
|
2020-05-01 16:19:06 +02:00 |
|
|
notoria
|
490d008edf
|
Merge pull request #4 from triska/mediants
include library(arithmetic) in the overview
|
2020-04-29 23:48:07 +02:00 |
|
|
notoria
|
ccee17c573
|
Merge branch 'mediants' into mediants
|
2020-04-29 23:47:05 +02:00 |
|
|
notoria
|
a371580201
|
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
|
2020-04-29 23:30:14 +02:00 |
|
|
notoria
|
f5a6268cef
|
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
|
2020-04-29 21:52:01 +02:00 |
|
|
notoria
|
f7b49740c1
|
Removed predicate mediants/2 and added stern_brocot/3
|
2020-04-29 14:18:20 +02:00 |
|
|
notoria
|
1d339f74d1
|
Implemented predicate mediants/2 with Stern-Brocot tree
|
2020-04-29 02:44:13 +02:00 |
|
|
notoria
|
d61851ad02
|
Added predicate random_integer and updated clpb
|
2020-04-27 01:52:19 +02:00 |
|
|
notoria
|
de7a408903
|
Created the library random and moved some predicates from iso_ext
|
2020-04-26 23:37:22 +02:00 |
|
|
notoria
|
9b1272da51
|
Small patch for library pio
|
2020-04-26 14:54:20 +02:00 |
|
|
notoria
|
c98e869564
|
Implemented the Debug trait for all data structures
|
2020-04-26 02:20:24 +02:00 |
|
|
notoria
|
ad28d0025a
|
No trimming of the buffer
|
2020-04-25 18:20:20 +02:00 |
|
|
notoria
|
d6772c5ca5
|
Implemented phrase_from_file/2 and /2
|
2020-04-25 18:04:13 +02:00 |
|
|
notoria
|
1873b655a8
|
Implemented lsb/2 and msb/2
|
2020-04-24 23:52:32 +02:00 |
|
|
notoria
|
4b50608642
|
Implementation of the predicate char_type for a subset
|
2020-04-23 16:09:06 +02:00 |
|
|
notoria
|
e3a7f9eb7a
|
Draft of an implementation of char_type
|
2020-04-22 12:57:18 +02:00 |
|
|
notoria
|
6d7612ead6
|
Corrected the error being thrown by sleep/1
|
2020-04-20 16:36:57 +02:00 |
|
|
notoria
|
b3e31094ff
|
Changed the error being thrown by sleep/1
|
2020-04-20 11:27:28 +02:00 |
|
|
notoria
|
a7f3dafd81
|
Undo a workaround
|
2020-04-19 23:26:16 +02:00 |
|
|
notoria
|
fb38b4b906
|
Corrected bound
|
2020-04-19 23:04:51 +02:00 |
|
|
notoria
|
f0a1a90b0e
|
Merge pull request #3 from triska/sleep
update comment
|
2020-04-19 22:44:48 +02:00 |
|
|
notoria
|
fb331d39a6
|
Thrown an error if T < 0 or T > 0xfffffffffffffbff in sleep(T)
|
2020-04-19 22:43:13 +02:00 |
|
|
notoria
|
5a063c541d
|
Added the sleep predicate
|
2020-04-19 21:35:49 +02:00 |
|
|
notoria
|
c6a82cbc07
|
Removed a check in get_single_char
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
cc8f074d33
|
Added Space for continuation
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
196d74c3a0
|
Fixed the predicate name when error is thrown
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
3f578e24b5
|
Removed $raw_input_read_char
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
fb5ee5e190
|
get_single_char reads Tab as \t
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
63e8378310
|
get_single_char reads Enter as \n
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
c24ebaf506
|
Moved get_single_char from builtins.pl to charsio.pl
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
d3a1f11dfe
|
Added predicate for reading a single character
|
2020-04-18 14:16:46 -06:00 |
|
|
notoria
|
6996ca832d
|
Merge pull request #2 from triska/get_single_char
New feature: RET can now be used as a synonym for "." in the interaction
|
2020-04-18 18:51:37 +02:00 |
|
|
notoria
|
2e15ab44ab
|
Removed a check in get_single_char
|
2020-04-18 18:28:26 +02:00 |
|
|
notoria
|
988366e37f
|
Added Space for continuation
|
2020-04-18 16:57:45 +02:00 |
|
|
notoria
|
98a37905b8
|
Fixed the predicate name when error is thrown
|
2020-04-18 15:21:19 +02:00 |
|
|
notoria
|
bd832d0fbb
|
Merge pull request #1 from triska/get_single_char
use get_single_char/1
|
2020-04-18 14:50:32 +02:00 |
|
|
notoria
|
99e1a5f117
|
Removed $raw_input_read_char
|
2020-04-18 13:54:18 +02:00 |
|
|
notoria
|
b35b49f7b3
|
get_single_char reads Tab as \t
|
2020-04-18 13:33:42 +02:00 |
|
|
notoria
|
5d064b18e6
|
get_single_char reads Enter as \n
|
2020-04-18 13:30:52 +02:00 |
|
|
notoria
|
11ea92288d
|
Moved get_single_char from builtins.pl to charsio.pl
|
2020-04-18 12:52:49 +02:00 |
|
|
notoria
|
1ea6ae9fd9
|
Added predicate for reading a single character
|
2020-04-18 11:49:28 +02:00 |
|