Equality and Unification in PROLOG (with Examples)

Поділитися
Вставка
  • Опубліковано 13 гру 2024

КОМЕНТАРІ • 25

  • @faisalyazdanie6032
    @faisalyazdanie6032 2 роки тому +1

    You're a brilliant teacher.

  • @samarthtandale9121
    @samarthtandale9121 Рік тому +1

    Thanks ... It was helpful explanation 🤠

  • @StreetArtist360
    @StreetArtist360 3 роки тому +2

    Great video. Thank you very much.

  • @saadvadanagara3276
    @saadvadanagara3276 4 роки тому +2

    great explaination sir

  • @9xpt
    @9xpt 21 день тому

    Sir tell me about resolution in prolog programming?

  • @ashrif987
    @ashrif987 2 роки тому

    Thanks 😊

  • @dharmendrathakur1487
    @dharmendrathakur1487 3 роки тому

    can't we change the value of variable in the prolog?as in the example f(X, X) = f(a, b).

  • @carljohnson2766
    @carljohnson2766 2 роки тому

    thanks

  • @vijayasri2623
    @vijayasri2623 Рік тому

    Where can we get notes for what all you're teachinh

  • @dharmendrathakur1487
    @dharmendrathakur1487 3 роки тому

    what is the purpose for atom?

    • @StreetArtist360
      @StreetArtist360 3 роки тому

      Its one of the building blocks of the knowledge base(database).

    • @StreetArtist360
      @StreetArtist360 3 роки тому +1

      An atom is used in conjunction with a functor to create facts. e.g awesome(phumlani). This is a fact, because i'm awesome. ;-)

  • @shankharajnayek
    @shankharajnayek 5 років тому

    What is a functor?

    • @techdose4u
      @techdose4u  5 років тому +6

      functor in simple term is "function name". for example, if i say..... .......................likes(raj, chocolate)......then "likes" is a functor here. In languages like C/C++, we call it a function name. It's like making a call to function likes. but in prolog it is called functor, which defines a structure. I hope you get it :)

    • @sebon11
      @sebon11 5 років тому

      @@techdose4u Yes, I get it thanks :)

  • @A_tavv
    @A_tavv 2 роки тому

    I have exam tomorrow, i got confused does anybody know
    X = 2+1 is unifiable or not?

  • @miguelgoncalves8674
    @miguelgoncalves8674 5 років тому +1

    stop saying "oke".

    • @techdose4u
      @techdose4u  5 років тому +4

      Well that was my problem. I have rectified it now in my current videos. But the videos back then cannot be rectified i guess. I hope this doesn't hurt the explanation in any way :(

    • @vipnirala
      @vipnirala 5 років тому +1

      I wasn't even paying attention that sir was saying okay again and again😂

    • @techdose4u
      @techdose4u  5 років тому +4

      @@vipnirala :P These are my starting videos so i even din't know that i was repeating oke :P

    • @vipnirala
      @vipnirala 5 років тому +10

      @@techdose4u it's okay sir. You have done a great job.