![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | ProB2UI_LandingGear.mp4 | 2022-11-08 16:49 | 25M | |
![]() | ProBJupyter_Prolog50_Demo.mp4 | 2022-11-09 10:40 | 9.0M | |
![]() | ProB_Colmerauer.key | 2022-11-09 13:39 | 83M | |
![]() | ProB_Colmerauer.pdf | 2022-11-10 08:01 | 10M | |
![]() | Prolog50_2022.ipynb | 2022-11-09 10:40 | 18K | |
![]() | prob-mc2.gif | 2022-11-08 16:50 | 1.7M | |
![]() | prob-repl3.gif | 2022-11-08 16:49 | 719K | |
![]() | prob-repl3_large.gif | 2022-11-09 10:41 | 1.7M | |
![]() | prob-send-more-money.gif | 2022-11-08 16:50 | 1.2M | |