ENSIKLOPEDIA Cari Tekan Enter untuk memulai pencarian cepat. Kembali ke Ensiklopedia Arsip Wikipedia Indonesia User:Felix QW/Logic programming User:Felix QW/Logic programmingCurrent plans for logic programming articles Currently, the focus is on the "X logic programming" articles. Probabilistic logic programming Write Probabilistic logic programming using the PILP paper as a first resource. Done. Felix QW (talk) 13:47, 25 June 2024 (UTC) Next step: Improve lead. Concurrent logic programming Use information from the 50 years of Prolog paper" and the two surveys for Concurrent logic programming and merge what is salvageable from Indeterminacy in concurrent computation there. Inductive logic programming Theta-subsumption (Needs a little bit of extension, but solid start) Inductive logic programming (Further drafting at user:Felix QW/Inductive logic programming) Articles on the main ILP systems Existing system articles: Golem Rewritten. Felix QW (talk) 14:03, 25 June 2024 (UTC) Progol Somewhat improved. Felix QW (talk) 14:03, 25 June 2024 (UTC) FOIL TBD. Felix QW (talk) 14:03, 25 June 2024 (UTC) Other notable systems Model Inference System Aleph Metagol Other articles Draft for Bottom-up and top-down approaches at User:Felix QW/Bottom-up and top-down problem-solving