Garajeando

Record of experiments, readings, links, videos and other things that I find on the long road.
Registro de experimentos, lecturas, links, vídeos y otras cosas que voy encontrando en el largo camino.

Showing posts with label Logic Programming. Show all posts
Showing posts with label Logic Programming. Show all posts

Thursday, August 27, 2015

Interesting Talk: "Introduction to Logic Programming with Clojure"

I've just watched this very interesting talk by Ambrose Bonnaire-Sergeant:
  • Introduction to Logic Programming with Clojure
Posted by Manuel Rivero at 12:52 AM No comments:
Email ThisBlogThis!Share to XShare to FacebookShare to Pinterest
Labels: Clojure, Learning, Logic Programming, Technical Videos
Older Posts Home
Subscribe to: Posts (Atom)

Blog Archive

  • ▼  2025 (28)
    • ▼  September (4)
      • Interesting Interview: Measuring the impact of AI ...
      • Interesting Talk: AI-Driven Code Refactoring: Impr...
      • Interesting Talk: Be more productive
      • Interesting Talk: Vibe Coding Is The WORST IDEA Of...
    • ►  August (16)
    • ►  July (1)
    • ►  June (1)
    • ►  May (2)
    • ►  March (2)
    • ►  February (1)
    • ►  January (1)
  • ►  2024 (9)
    • ►  December (1)
    • ►  November (1)
    • ►  September (2)
    • ►  July (2)
    • ►  April (1)
    • ►  February (2)
  • ►  2023 (10)
    • ►  December (2)
    • ►  August (1)
    • ►  June (1)
    • ►  May (1)
    • ►  March (2)
    • ►  February (1)
    • ►  January (2)
  • ►  2022 (26)
    • ►  December (1)
    • ►  November (1)
    • ►  October (2)
    • ►  August (5)
    • ►  July (2)
    • ►  May (8)
    • ►  March (1)
    • ►  February (4)
    • ►  January (2)
  • ►  2021 (18)
    • ►  November (1)
    • ►  September (1)
    • ►  July (1)
    • ►  June (1)
    • ►  April (1)
    • ►  March (2)
    • ►  February (2)
    • ►  January (9)
  • ►  2020 (187)
    • ►  December (26)
    • ►  November (2)
    • ►  October (3)
    • ►  August (19)
    • ►  July (47)
    • ►  June (24)
    • ►  May (40)
    • ►  April (24)
    • ►  March (1)
    • ►  February (1)
  • ►  2019 (25)
    • ►  December (2)
    • ►  September (1)
    • ►  August (2)
    • ►  July (1)
    • ►  June (3)
    • ►  May (2)
    • ►  April (3)
    • ►  March (8)
    • ►  January (3)
  • ►  2018 (47)
    • ►  December (1)
    • ►  November (3)
    • ►  October (2)
    • ►  September (4)
    • ►  August (5)
    • ►  July (1)
    • ►  June (5)
    • ►  May (6)
    • ►  April (2)
    • ►  March (6)
    • ►  February (5)
    • ►  January (7)
  • ►  2017 (82)
    • ►  December (17)
    • ►  November (12)
    • ►  October (4)
    • ►  September (6)
    • ►  August (8)
    • ►  July (5)
    • ►  June (7)
    • ►  May (3)
    • ►  April (9)
    • ►  March (1)
    • ►  February (2)
    • ►  January (8)
  • ►  2016 (134)
    • ►  December (10)
    • ►  November (16)
    • ►  October (8)
    • ►  September (9)
    • ►  August (10)
    • ►  July (10)
    • ►  June (7)
    • ►  May (15)
    • ►  April (14)
    • ►  March (7)
    • ►  February (15)
    • ►  January (13)
  • ►  2015 (148)
    • ►  December (6)
    • ►  November (7)
    • ►  October (12)
    • ►  September (14)
    • ►  August (15)
    • ►  July (14)
    • ►  June (9)
    • ►  May (17)
    • ►  April (15)
    • ►  March (16)
    • ►  February (7)
    • ►  January (16)
  • ►  2014 (241)
    • ►  December (10)
    • ►  November (25)
    • ►  October (10)
    • ►  September (22)
    • ►  August (37)
    • ►  July (20)
    • ►  June (24)
    • ►  May (23)
    • ►  April (14)
    • ►  March (16)
    • ►  February (22)
    • ►  January (18)
  • ►  2013 (114)
    • ►  December (7)
    • ►  November (2)
    • ►  October (6)
    • ►  September (14)
    • ►  August (10)
    • ►  July (9)
    • ►  June (18)
    • ►  May (6)
    • ►  April (10)
    • ►  March (8)
    • ►  February (10)
    • ►  January (14)
  • ►  2012 (85)
    • ►  December (7)
    • ►  November (7)
    • ►  October (12)
    • ►  September (5)
    • ►  August (13)
    • ►  July (8)
    • ►  June (1)
    • ►  May (5)
    • ►  April (13)
    • ►  March (5)
    • ►  February (9)
  • ►  2011 (56)
    • ►  December (4)
    • ►  November (10)
    • ►  October (8)
    • ►  September (4)
    • ►  August (1)
    • ►  July (8)
    • ►  June (14)
    • ►  May (6)
    • ►  January (1)
  • ►  2010 (13)
    • ►  March (9)
    • ►  February (4)
  • ►  2009 (45)
    • ►  December (2)
    • ►  November (1)
    • ►  October (8)
    • ►  September (5)
    • ►  July (6)
    • ►  June (6)
    • ►  April (4)
    • ►  March (13)

Labels

  • Abstractions (1)
  • Agile (20)
  • Agile Development Valencia (7)
  • Aging (1)
  • AI (11)
  • Algorithms (8)
  • Android (3)
  • AngularJs (9)
  • Ansible (1)
  • Anthropology (2)
  • AntiPatterns (1)
  • Apprenticeship Patterns (7)
  • Approval Testing (2)
  • Aprendices (16)
  • Architecture (27)
  • Articles and Posts read (32)
  • Assembly (4)
  • Backbone.js (4)
  • backmongo (1)
  • Bash (1)
  • Basketball (1)
  • BDD (15)
  • Big Data (1)
  • Blogger (1)
  • Blogs (3)
  • Books (118)
  • Boost (4)
  • Buddhism (6)
  • C (11)
  • CAS 2013 (1)
  • Chess (1)
  • Cinema (1)
  • Clang (1)
  • Clean Architecture (9)
  • Clean Code (18)
  • Climate Change (2)
  • Clojure (226)
  • Clojure Developers Barcelona Group (24)
  • ClojureBridge (1)
  • ClojureScript (51)
  • Coaching (2)
  • Code Smells (8)
  • Codesai (27)
  • Communication (10)
  • Computer Science (1)
  • Concepts (7)
  • Concurrency (3)
  • Conferences (1)
  • Connascence (9)
  • Continuous Delivery (4)
  • Continuous Improvement (2)
  • Continuous Integration (4)
  • Conway's Game of Life (3)
  • Cooperativas (1)
  • Coursera (13)
  • COVID-19 Pandemic (1)
  • Cpp (48)
  • cppcheck (2)
  • CQRS (3)
  • CSS (1)
  • Cucumber (2)
  • CUDA (1)
  • Culture (4)
  • Cynefin (1)
  • Dance (1)
  • Data Science (1)
  • Data Structures (2)
  • DataBases (5)
  • Datomic (4)
  • DDD (1)
  • Design patterns (42)
  • Devscola (1)
  • DIP (2)
  • Distributed Systems (1)
  • Django (9)
  • Docker (2)
  • Documentary films (21)
  • Domain Driven Design (22)
  • DSLs (1)
  • Dynamic Languages (3)
  • Eclipse (6)
  • Ecology (4)
  • Economics (11)
  • Effects and Coeffects (8)
  • Electron (1)
  • Elm (5)
  • Empresas (3)
  • End-to-end Tests (13)
  • Environmentalism (2)
  • Ethology (1)
  • ETIS en la UOC (8)
  • Euler Project (11)
  • Eventos (25)
  • Evolución (3)
  • Exercise (7)
  • Exercism (39)
  • F# (3)
  • Falcor (1)
  • Figwheel (5)
  • Formal Specification (1)
  • Formal Verification (1)
  • Fortran (1)
  • FSMs (1)
  • Functional Programming (91)
  • Functional Reactive Programming (8)
  • Functors (1)
  • Fundamentals (52)
  • Git (1)
  • Global Day of Code Retreat (3)
  • Glowworm Swarm Optimization (2)
  • Gnuplot (3)
  • Go (3)
  • GoogleMock (4)
  • GOOS (31)
  • GreenPowerMonitor (2)
  • Group Dynamics (2)
  • Hang Outs (1)
  • Haskell (10)
  • Historia de la Ciencia (19)
  • History (30)
  • HTML5 (2)
  • Hypermedia (1)
  • idioms (2)
  • Igloo (3)
  • Implementation Patterns (5)
  • Innovation (1)
  • Inspiring (30)
  • Integration Tests (5)
  • Java (27)
  • JavaScript (63)
  • JetBrains (1)
  • jMock (2)
  • jQuery (2)
  • JSON (6)
  • JsonCpp (6)
  • KataCast (8)
  • Katas (116)
  • Lambdas (2)
  • Lean (10)
  • Learning (351)
  • Legacy Code (40)
  • Leiningen (1)
  • Libros (100)
  • Linguistics (1)
  • Linux (7)
  • Linux programming (2)
  • Linux Scripting (3)
  • Lisp (8)
  • LLVM (1)
  • Logic Programming (1)
  • Machine Learning (1)
  • Magazines (1)
  • Master Software Libre UOC (9)
  • MatPlotLib (3)
  • Meditation (6)
  • Mentoring (4)
  • Mercurial (6)
  • Messaging (1)
  • Metaphors (4)
  • Microeconomics (1)
  • Microservices (4)
  • Midje (6)
  • ML (2)
  • Mocha.js (2)
  • Mocks (31)
  • Models (3)
  • Moldable Development (1)
  • Molecular Dynamics (1)
  • MongoDB (1)
  • MOOCs (16)
  • Music (2)
  • Mutation testing (6)
  • Naming (2)
  • Neuroscience (2)
  • Node.js (4)
  • Nosetests (1)
  • Notes (5)
  • Números pseudoaleatorios (2)
  • Nutrition (8)
  • nvm (1)
  • Object-Oriented Design (97)
  • Object-Oriented Programming (34)
  • OCaml (1)
  • OCWs (11)
  • Om (5)
  • Open Science (1)
  • Open Source (1)
  • Open2Study (1)
  • Pair Programming (4)
  • Papers (17)
  • Parallel Programming (2)
  • Perl (1)
  • Personal (1)
  • Pet Projects (8)
  • pgAdmin3 (1)
  • Phake (4)
  • Philosophy (18)
  • PHP (19)
  • Physics (2)
  • Physics of Software (2)
  • Podcasts (76)
  • Politics (23)
  • Ports and Adapters (19)
  • PostgreSQL (1)
  • Principles (23)
  • Programming (6)
  • Programming Languages (3)
  • Property-based testing (16)
  • Protractor (3)
  • Psychology (46)
  • Public Code (13)
  • PyDev (1)
  • Python (26)
  • Racket (12)
  • re-frame (9)
  • re-om (1)
  • React (4)
  • React Native (2)
  • Reactive (2)
  • Reagent (5)
  • Refactoring (91)
  • REPL-driven development (4)
  • Responsibility-Driven Design (3)
  • REST (5)
  • Ruby (52)
  • Ruby on Rails (7)
  • Scheme (6)
  • Science (12)
  • Scientific software (3)
  • SciPy (2)
  • Self-care (1)
  • SICP (7)
  • Silex (2)
  • Sistemas Operativos (1)
  • SML (3)
  • Soft Skills (6)
  • Software Carpentry (4)
  • Software Craft (22)
  • Software Craftsmanship (10)
  • Software Design (15)
  • Software Evolution (4)
  • Software Libre (2)
  • Software Quality (2)
  • SOLID (21)
  • Spark (2)
  • Specification By Example (3)
  • STL (4)
  • Stoicism (9)
  • Subversion (1)
  • SWIG (1)
  • SyntaxHighlighter (1)
  • Systems theory (2)
  • Talks (105)
  • TDD (102)
  • Teams (4)
  • Teatro (1)
  • Technical debt (13)
  • Technical Videos (481)
  • Testability (2)
  • Testing (2)
  • Tests (49)
  • Theory of Constraints (2)
  • Training (10)
  • Types (1)
  • UML (2)
  • Underscore.js (2)
  • Unit Testing (47)
  • User Stories (3)
  • virtualenv (1)
  • Visual Studio (2)
  • Web Development (4)
  • Webcasts (1)
  • XP (15)

Contributors

  • Brian Jimenez
  • Manuel Rivero
  • remosu
Simple theme. Powered by Blogger.