Where communities thrive


  • Join over 1.5M+ people
  • Join over 100K+ communities
  • Free without limits
  • Create your own community
People
Repo info
Activity
  • Dec 08 23:30

    pmoura on lvm_cyclic

    Update version to 3.53.0-b01 in… Update the `attvars` example te… Merge branch 'master' into lvm_… (compare)

  • Dec 08 23:14

    pmoura on lvm_coroutining

    Update the `figures` example to… (compare)

  • Dec 08 21:02

    pmoura on lvm_coroutining

    Update version to 3.53.0-b01 in… Update the `attvars` example te… Merge branch 'master' into lvm_… (compare)

  • Dec 08 19:34

    pmoura on master

    Update the `attvars` example te… (compare)

  • Dec 08 19:13

    pmoura on master

    Update version to 3.53.0-b01 in… (compare)

  • Dec 08 17:03

    pmoura on lvm_coroutining

    Update `coroutining` library fo… (compare)

  • Dec 08 16:49

    pmoura on lvm_coroutining

    Update `dif` and `coroutining` … (compare)

  • Dec 07 18:11

    pmoura on lvm_cyclic

    Fix typo in the output of the `… Improve `packs` tool documentat… Change version to 3.52.0 stable… and 1 more (compare)

  • Dec 07 11:57

    pmoura on lgt3520stable

    (compare)

  • Dec 07 11:15

    pmoura on master

    Change version to 3.52.0 stable… (compare)

  • Dec 07 10:52

    pmoura on master

    Improve `packs` tool documentat… (compare)

  • Dec 07 10:26

    pmoura on master

    Fix typo in the output of the `… (compare)

  • Dec 06 21:36

    pmoura on master

    Fix `type` library object type-… Update SVG diagrams (compare)

  • Dec 06 19:45

    pmoura on master

    Fix handling of a partial list … Update SVG diagrams Fix typo in type argument of th… (compare)

  • Dec 03 23:08

    pmoura on master

    Improve documentation on using … (compare)

  • Dec 03 20:54
    pmoura commented #121
  • Dec 03 20:49
    ccr185 commented #121
  • Dec 03 20:48
    ccr185 closed #121
  • Dec 03 20:48
    ccr185 commented #121
  • Dec 03 20:41
    pmoura commented #121
A Man With A Clever Disguise
@ACleverDisguise
I had it commented out to declutter the display while there were errors showing.
Paulo Moura
@pmoura
Ah, ok.
A Man With A Clever Disguise
@ACleverDisguise
% 
% tests started at 2021-09-10, 23:42:04
% 
% running tests from object tests
% file: /home/michael/src/Playthings/Prolog/Logtalk/two3tree/tests.lgt
% 
% two3tree_new: success (in 0.0001543320000001458 seconds)
% two3tree_insert_1: success (in 0.00010364400000018037 seconds)
% two3tree_insert_2: success (in 0.00011810099999998158 seconds)
% two3tree_insert_3: success (in 0.0004362789999996508 seconds)
% two3tree_insert_4: success (in 0.00013675199999996224 seconds)
% two3tree_insert_5: success (in 0.00012492799999996862 seconds)
% two3tree_insert_6: success (in 0.00015842699999968346 seconds)
% two3tree_insert_7: success (in 0.0001948069999997415 seconds)
% 
% 8 tests: 0 skipped, 8 passed, 0 failed (0 flaky)
% completed tests from object tests
% 
% 
% clause coverage ratio and covered clauses per entity predicate
% 
% two3tree: empty/1 - 1/1 - (all)
% two3tree: insert/4 - 4/4 - (all)
% two3tree: new/1 - 1/1 - (all)
% two3tree: node4/1 - 0/1 - []
% two3tree: 6 out of 7 clauses covered, 85.714286% coverage
% 
% 1 entity declared as covered containing 7 clauses
% 1 out of 1 entity covered, 100.000000% entity coverage
% 6 out of 7 clauses covered, 85.714286% clause coverage
% 
% tests ended at 2021-09-10, 23:42:04
%
Better?
Paulo Moura
@pmoura
Good coverage. You can also easily generate a report for that. E.g. https://logtalk.org/diagrams/coverage_report.html
A Man With A Clever Disguise
@ACleverDisguise
Well, I'm very deliberately writing the tree code and the tests piecemeal, making sure that my tests are valid for each case before moving up the case ladder.
So the coverage is always going to be one or two clauses uncovered at most.
I wish I had more time to do Logtalk.
This is a whole lot more fun than C. About in the same league as Ada, but for entirely different reasons.
A Man With A Clever Disguise
@ACleverDisguise
I have one more case to contend with and then insertion is complete.
After that the low-hanging fruit of searches, iteration, etc. is in the cards. That should be trivial. (I've done most of the work needed in the tester helpers for validating the tree structure.)
Once that's done, the Big One: deletion.
That's a real pig of an operation in 2-3 trees.
A lot of libraries that do 2-3 trees don't do deletion, but I suspect it will be easier in a declarative language than an imperative.
Paulo Moura
@pmoura
It should be possible to evolve your implementation so that it would eventaully comply with the dictionaries library protocol.
A Man With A Clever Disguise
@ACleverDisguise
That is the plan.
:- object(two3tree, implements(dictionaryp),
                    extends(term)).
…
Paulo Moura
@pmoura
👍
Paulo Moura
@pmoura
Got a short break and tried to reproduce the bug with the dbg/1 calls. No luck so far. It works fine in my experiments.
With the debug flag turned off, I call tests::run. No debug messages. I turn of the flag, run the tests again and get debug messages. Tried with dbg/1 calls from cleanup/0, tests, and test auxiliary predicates.
Paulo Moura
@pmoura
No chance that you're typing set_prolog_flag instead of set_logtalk_flag?
A Man With A Clever Disguise
@ACleverDisguise
Nope. Definitely typing set_logtalk_flag. And using current_logtalk_flag to get the setting.
Paulo Moura
@pmoura
You will need to provide all the necessary code and steps to reproduce the issue then.
A Man With A Clever Disguise
@ACleverDisguise
Will do. Probably on the weekend, though. I don't have a huge amount of time in the week to do things anymore. :-/
Paulo Moura
@pmoura
Resumed work on the Logtalk package manager. Details at https://github.com/LogtalkDotOrg/logtalk3/discussions/118
Paulo Moura
@pmoura
Logtalk 3.51.0 released
A Man With A Clever Disguise
@ACleverDisguise
@pmoura : https://gitee.com/ACleverDisguise/logtalk3 Most Chinese F/OSS or OSH types now hang out on places like Gitee, etc. I'm mirroring Logtalk3's repository there to see if I can't get some Chinese hackers interested in it.
Paulo Moura
@pmoura
Hi. Long time. Is that setup for automatically mirroring the official repo at GitHub?
A Man With A Clever Disguise
@ACleverDisguise
I will be, y es.
didier31
@didier31

Hi everybody

I don't know if it has been discussed sooner but I was wondering that it was great and indeed convenient that logtalk uses a classpath equivalent venv to localize logtalk files.
Maybe it is implemented yet. I really don't know.

Correction: "it would be great"
Paulo Moura
@pmoura
Logtalk supports library aliases where a library is simply a directory containing sources files. See https://logtalk.org/manuals/userman/programming.html#libraries-of-source-files
didier31
@didier31
As I can see a venv can be included, it's a good alternative.
Thank you, Paulo.
Paulo Moura
@pmoura
Logtalk 3.52.0 released